Schematic framework for theories of perception
نویسندگان
چکیده
منابع مشابه
A Framework for Program DevelopmentBased on Schematic
Often, calculi for manipulating and reasoning about programs can be recast as calculi for synthesizing programs. The diier-ence involves often only a slight shift of perspective: admitting metavari-ables into proofs. We propose that such calculi should be implemented in logical frameworks that support this kind of proof construction and that such an implementation can unify program veriication ...
متن کاملChoosing appropriate theories for understanding hospital reporting of adverse drug events, a theoretical domains framework approach
Adverse drug events (ADEs) may cause serious injuries including death. Spontaneous reporting of ADEs plays a great role in detection and prevention of them, however, underreporting always exists. Although several interventions have been utilized to solve this problem, they are mainly based on experience and the rationale for choosing them has no theoretical base. The vast variety of behavioral ...
متن کاملAutomatic Decidability: A Schematic Calculus for Theories with Counting Operators
Many verification problems can be reduced to a satisfiability problem modulo theories. For building satisfiability procedures the rewriting-based approach uses a general calculus for equational reasoning named paramodulation. Schematic paramodulation, in turn, provides means to reason on the derivations computed by paramodulation. Until now, schematic paramodulation was only studied for standar...
متن کاملChoosing appropriate theories for understanding hospital reporting of adverse drug events, a theoretical domains framework approach
Adverse drug events (ADEs) may cause serious injuries including death. Spontaneous reporting of ADEs plays a great role in detection and prevention of them, however, underreporting always exists. Although several interventions have been utilized to solve this problem, they are mainly based on experience and the rationale for choosing them has no theoretical base. The vast variety of behavioral ...
متن کاملA Software Framework for the Automated Production of Schematic Maps
Schematic Maps are mainly used for depicting transportation networks. They are generated through a schematization process where irrelevant details are eliminated and important details are emphasized. This process, being manually performed by teams of expert designers, is expensive and time consuming. Such manual execution is unsuitable for the production of schematic maps for location-based ser...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scholarpedia
سال: 2019
ISSN: 1941-6016
DOI: 10.4249/scholarpedia.52463